Lecture Notes in Computer Science - PDFSEARCH.IO - Document Search Engine

Lecture Notes in Computer Science
Results: 278

#	Item
211	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
212	RuSSIR Young Scientist Conference #RuSSIR YSC 2014 Nizhny Novgorod, Russia August, 18-22, 2014 CALL FOR PAPERS: The RuSSIR Young Scientist Conference was created to provide an academic forum that fosters young Add to Reading List Source URL: romip.ru Language: English - Date: 2014-06-19 15:40:55 Infographics Scientific modeling Visualization Information science Information retrieval Information visualization Visual analytics Lecture Notes in Computer Science Science Computational science Computer graphics
213	Game Theory Lecture Notes By Y. Narahari Department of Computer Science and Automation Indian Institute of Science Bangalore, India Add to Reading List Source URL: lcm.csa.iisc.ernet.in Language: English - Date: 2013-06-17 08:06:29 Cooperative game Transferable utility Bargaining problem Nash equilibrium Minimax Bargaining Core Shapley value Game theory Problem solving Decision theory
214	Consent to Publish 123 Lecture Notes in Computer Science Add to Reading List Source URL: wine13.seas.harvard.edu Language: English - Date: 2013-09-23 11:56:07 Copyright law of the United States Information Copyright Royalties Copyright law of Jordan Authorship and ownership in copyright law in Canada Intellectual property law Law Civil law
215	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-01-29 20:29:49 Specification and Description Language TTCN Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language
216	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, University of Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-01-29 20:29:32 TTCN Specification and Description Language Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language
217	123 Consent to Publish Lecture Notes in Computer Science Title of the Book or Conference Name: Statistical Add to Reading List Source URL: grammars.grlmc.com Language: English - Date: 2014-06-18 14:38:24 Copyright law of the United States Information Copyright Royalties Copyright law of Jordan Intellectual property law Law Civil law
218	Institut Penyelidikan Matematik (INSPEM) Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-05-22 10:12:33 States of Malaysia Agriculture in Malaysia Universiti Putra Malaysia Lecture Notes in Computer Science Universiti Malaysia Terengganu Universiti Teknologi Malaysia Universiti Sains Malaysia Universiti Teknologi MARA Universiti Teknologi Petronas Education in Malaysia Association of Commonwealth Universities Northern Corridor Economic Region
219	Radical-7_Screen_vert_RRa_7.29.11 Add to Reading List Source URL: www.masimo.com Language: English - Date: 2012-10-10 11:01:48 Masimo Cardiology Pulse oximetry Pediatrics Newborn screening Screening Lecture Notes in Computer Science Medicine Health Medical tests
220	An earlier version of this paper appears in Advances in Cryptology — EUROCRYPT ’06, Lecture Notes in Computer Science, vol. 4004, Springer, 2006. This is the full version of that paper. Deterministic Authenticated-En Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2012-12-05 15:59:46 Semantic security Block cipher modes of operation Advantage Key Wrap Cipher Probabilistic encryption Optimal asymmetric encryption padding Cryptography Authenticated encryption Initialization vector

UPDATE